/*
 +-----------------------------------------------------------------------------------------------+
 | Project : UKAPI
 +-----------------------------------------------------------------------------------------------+
 | Project Description : Universal & Kernel API
 +-----------------------------------------------------------------------------------------------+
 | File Description :
 |   Kernel API
 |                                                 
 +-----------------------------------------------------------------------------------------------+
 | Licence : MIT Licence
 +-----------------------------------------------------------------------------------------------+
 | Copyright (c) 2006 Olivier Vanhoucke
 | 
 | Permission is hereby granted, free of charge, to any person obtaining a copy of this software 
 | and associated documentation files (the "Software"), to deal in the Software without 
 | restriction, including without limitation the rights to use, copy, modify, merge, publish, 
 | distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the 
 | Software is furnished to do so, subject to the following conditions:
 | 
 | The above copyright notice and this permission notice shall be included in all copies or 
 | substantial portions of the Software.
 | 
 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING
 | BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND 
 | NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, 
 | DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 
 | OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 +-----------------------------------------------------------------------------------------------+
*/

#ifndef __UKAPI_KERNEL__
#define __UKAPI_KERNEL__

#include <private/memory_manager.h>
#include <private/task_manager.h>
#include <private/device_manager.h>
#include <private/interrupt_manager.h>
#include <private/event_manager.h>
#include <private/file_system.h>
#include <private/mailbox_manager.h>
#include <private/exception_manager.h>
#include <semaphore.h>
#include <mutex.h>

typedef struct
{
	task_manager_t			task_manager;
	device_manager_t		device_manager;
	interrupt_manager_t		interrupt_manager;
	memory_manager_t		memory_manager;
	//event_manager_t		event_manager;
	//mailbox_manager_t		mailbox_manager;
	//file_system_t			file_system;
	//exception_manager_t	exception_manager;
} kernel_t, * pkernel_t;

#define schedule() 			g_system.kernel.task_manager.schedule()

#define global_kernel_task_manager() 	g_system.kernel.task_manager
#define global_kernel() 				g_system.kernel
#define global_platform() 				g_system.platform
#define global_debugger() 				g_system.debugger
#define global_papplication() 			g_system.papplication

// round robin
// priority
// state machine 

result_t kernel_init( pkernel_t pkernel );
result_t kernel_start();
result_t kernel_stop();
result_t kernel_deinit();

#endif /* __UKAPI_KERNEL__ */